package sketch.issta11.specifystatements;

import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;

public class SpecifyStatementsTestAll extends TestCase {
	public static Test suite() {
	  TestSuite suite = new TestSuite();
	  suite.addTest(sketch.issta11.specifystatements.ChooseOneStatementTest.suite());
	  suite.addTest(sketch.issta11.specifystatements.ChooseAllOrNoneStatementTest.suite());
	  suite.addTest(sketch.issta11.specifystatements.RepeatStatementTest.suite());
	  suite.addTest(sketch.issta11.specifystatements.ReplaceStatementTest.suite());
	  return suite;
	}
}
